[[Glossary of categories]]
# Category of (small) categories

The **category of (small) categories** $\Cat$ is a [[strict 2-category]] where an object is a ([[Small category|small]]) [[category]],
a 1-morphism is a [[functor]],
and a 2-morphism is a [[natural transformation]].


#
---
#state/stub | #lang/en | #SemBr